Struct isotope::primitive::logical::TRUE[][src]

pub struct TRUE { /* fields omitted */ }
Expand description

The constant true, with the default type

Methods from Deref<Target = TermId>

Convert this TermId to an abstract syntax tree in the given context with it’s annotation

Convert a term to it’s prettyprinted string

Convert a term to it’s prettyprinted string for debugging

Downgrade this TermId to a WeakId

Check whether two TermIds point to the same data

Get a pointer to the data underlying this TermId

Shift this term’s variables with index >= base up by n in a given context

Trait Implementations

The resulting type after dereferencing.

Dereferences the value.

Auto Trait Implementations

Blanket Implementations

Gets the TypeId of self. Read more

Immutably borrows from an owned value. Read more

Mutably borrows from an owned value. Read more

Borrow an optional value of type T

Performs the conversion.

Performs the conversion.

The type returned in the event of a conversion error.

Performs the conversion.

The type returned in the event of a conversion error.

Performs the conversion.